rational interval

有理区间